Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
101	Microsoft Word - proof ez1 Add to Reading List Source URL: waterrights.utah.gov Language: English - Date: 2014-01-08 10:25:45 Ammunition Firearm industry Firearm safety Projectiles Proof test Patent application Mathematical proof Alcohol proof
102	C:/Mina dokument/4th year project/ProjectReport.dvi Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2007-02-02 09:38:01 Automated theorem proving Rippling IsaPlanner A* search algorithm Mathematical proof Planner Isabelle Theorem Prolog
103	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
104	Properties of Intuitionistic Provability LogicsRosalie Iemhoff Dick de Jongh Chunlai Zhou Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:46:31 Modal logic Model theory Non-classical logic Philosophical logic Proof theory Normal modal logic First-order logic Propositional calculus Provability logic Mathematical logic Interpretation Modal companion
105	Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-01-04 17:45:16 Logic in computer science Fault-tolerant computer systems Distributed algorithms Mathematical induction Raft Formal verification Consensus Leader election Mathematical proof Paxos Intuitionistic logic
106	Course: Optimization Faculty: Add to Reading List Source URL: idea.uab.es Language: English - Date: 2016-07-27 03:30:26 Mathematical economics Mathematical optimization Operations research Theorem Mathematics Maximum theorem HahnBanach theorem Duality Compact space Mathematical proof
107	1. Proof by contradiction Po-Shen Loh CMU Putnam Seminar, Fall Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2012-12-05 20:42:31 Functions and mappings Calculus Mathematical analysis Limit of a function Continuous function Lebesgue integration Centroid Function Metric space Non-analytic smooth function
108	hypcor-commentspdf Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2016-07-13 09:44:42 Logical consequence Statements Theorem Lemma Mathematical proof Moduli space
109	Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-13 09:25:22 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Proof assistants Automated reasoning Isabelle Type theory Mathematical proof First-order logic Theorem IP
110	doi:j.entcs Add to Reading List Source URL: ti.arc.nasa.gov Language: English Mathematical proofs Proof theory Methods of proof Metalogic Knowledge representation Tree Model theory Natural deduction Theorem

UPDATE